Variations on the Semantics of Graphical Models for Reactive Systems
نویسندگان
چکیده
The goal of this paper is to study concepts underlying graphical instant-based models. They are useful for reactive system modeling. They should be formal models (mathematical semantics). Some are able to express in an unambiguous and concise way complex reactive behaviors. The expressiveness may be an impediment to the readability and the intuitive understanding. We analyze the influence of some primitives on the computation (compilation or interpretation) of the behavior. Keywords—Reactive system, semantics, state-transition system, visual modeling, synchronous programming.
منابع مشابه
New Applications on Linguistic Mathematical Structures and Stability Analysis of Linguistic Fuzzy Models
In this paper some algebraic structures for linguistic fuzzy models are defined for the first time. By definition linguistic fuzzy norm, stability of these systems can be considered. Two methods (normed-based & graphical-based) for stability analysis of linguist fuzzy systems will be presented. At the follow a new simple method for linguistic fuzzy numbers calculations is defined. At the end tw...
متن کاملFunctorial semantics of topological theories
Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce t...
متن کاملFormalising Business Process Execution with Bigraphs and Reactive XML
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Ambients calculus as well as graphical models for concurrency such as Petri Nets. We investigate in this paper how Bigraphical Reactive Systems represented as Reactive XML can be used to provide a formal semantics as wel...
متن کاملAsthma Control Level Assessment by Moving from the Current Reactive Care Models into a Preventive Approach based on Fuzzy Clustering and Classification Algorithms
Background and Aim: Asthma is a common and chronic disease of respiratory tracts. The best way to treat Asthma is to control it. Experts of this field suggest the continues monitoring on Asthma symptoms and adjustment of self-care plan with offering the preventive treatment program to have desired control over Asthma. Presenting these plans by the physician is set based on the control level in ...
متن کاملTaming the Octopus: Using Formal Models to Integrate the Octopus Object Oriented Analysis Models
The Octopus method packages a rich set of mostly graphical object-oriented (OO) modeling techniques that facilitate the creation of abstract, well-structured models of structure and behavior along a variety of modeling perspectives. The techniques provide good tools for managing the complexity in reactive, embedded systems. On the other hand, the lack of precise semantics for the modeling notat...
متن کامل